David Carnegie - PDFSEARCH.IO - Document Search Engine

David Carnegie
Results: 214

#	Item
141	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2010-12-04 12:52:17 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
142	Native x86 Decompilation Using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Edward J. Schwartz, JongHyup Lee✝, Maverick Woo, and David Brumley* Carnegie Mellon University * Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computing ALGOL 68 Assembly languages C programming language Decompiler Programming language theory Software engineering
143	Affordances[removed]Cognitive Robotics David S. Touretzky & Ethan Tira-Thompson Carnegie Mellon Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-03-23 23:51:04 Motor control Usability Science Artificial intelligence Mind Cognitive science The Design of Everyday Things Cognitive robotics James J. Gibson Affordance Bias Human–computer interaction
144	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
145	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
146	A Cryptanalysis of the High-bandwidth Digital Content Protection System Scott Crosby1 , Ian Goldberg2 , Robert Johnson3 , Dawn Song3 , and David Wagner3 1 Carnegie-Mellon University Add to Reading List Source URL: www.cypherpunks.ca Language: English - Date: 2006-12-21 16:06:36 Electronic engineering Key selection vector High-bandwidth Digital Content Protection Television technology Video signal Digital Visual Interface Public-key cryptography HDCP Repeater bit Cryptography Computer hardware High-definition television
147	2 E 91ST STREET NEW YORK NY[removed]PHONE[removed]FAX[removed]COOPERHEWITT.ORG MEDIA ONLY Add to Reading List Source URL: uh8yh30l48rpize52xh0q1o6i.wpengine.netdna-cdn.com Language: English - Date: 2015-02-05 08:44:22 National Museum of African American History and Culture New York City New York Manhattan Fifth Avenue David Adjaye Andrew Carnegie Mansion
148	FOCUS INSIDE: Play Review: Three Sisters, Page 3 Against Intellectual Monopoly, Page 4 FOCUS—in seven issues a year—is a publication of the faculty and staff of Carnegie Mellon University. Volume 37, No. 2, November Add to Reading List Source URL: www.cmu.edu Language: English - Date: 2007-11-19 22:10:02 Higher education Carnegie Mellon School of Computer Science Intellectual property Academia Carnegie Institute of Technology College of Humanities and Social Sciences Tepper School of Business Allegheny County Pennsylvania David K. Levine Fellows of the Econometric Society Carnegie Mellon University Michele Boldrin
149	medici.tv and Carnegie Hall present Joyce DiDonato & David Zobel Live Webcast “A Journey Through Venice” November 4th 2014 Add to Reading List Source URL: medias.medici.tv Language: English - Date: 2014-11-05 11:14:46 Carnegie Hall Artistic director Joyce Camera operator Theatre Business Joyce DiDonato Entertainment Clive Gillinson
150	Case[removed], Document 90, [removed], [removed], Page1 of[removed]cv United States Court of Appeals for the Add to Reading List Source URL: www.chamberlitigation.com Language: English - Date: 2014-12-23 10:56:29 Computer science Department of Computer Science David Patterson Columbia School of Engineering and Applied Science Carnegie Mellon School of Computer Science Yale Patt Academia Electronic engineering Year of birth missing Cloud computing Computing

UPDATE